翻訳と辞書 Words near each other ・ Dependency inversion principle ・ Dependency need ・ Dependency network ・ Dependency ratio ・ Dependency relation ・ Dependency theory ・ Dependency theory (database theory) ・ Dependency Walker ・ Dependent adult ・ Dependent and Disability Pension Act ・ Dependent and Happy ・ Dependent and independent variables ・ Dependent and independent verb forms ・ Dependent clause ・ Dependent growth business model ・ Dependent ML ・ Dependent Music ・ Dependent personality disorder ・ Dependent Records ・ Dependent source ・ Dependent statement ・ Dependent territory ・ Dependent type ・ Dependent-marking language ・ Dependeq ・ Dependoparvovirus ・ Depends on What You Mean by Love ・ Depensation ・ Deperdussin 1910 monoplane ・ Deperdussin 1912 Racing Monoplane Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Dependent ML ： ウィキペディア英語版 Dependent ML Dependent ML is an experimental functional programming language proposed by Hongwei Xi and Frank Pfenning. Dependent ML extends ML by a restricted notion of dependent types: types may be dependent on static indices of type Nat. Dependent ML employs a constraint theorem prover to decide a strong equational theory over the index expressions. By restricting the generality of full dependent types type checking remains decidable. Type inference remains undecidable. Some computer scientists do not consider DML's types to be dependent as there is still a phase distinction between compilation and execution of the program.〔Aspinall & Hofmann 2005. p. 75.〕 Dependent ML has been superseded by ATS and is no longer under active development. == See also == * Indexed type 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Dependent ML」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.